#!/bin/bash

## manage mime type on ubuntu
cp smal.xml /usr/share/mime/
update-mime-database /usr/share/mime

## install highlight for gedit
cp smal.lang /usr/share/gtksourceview-2.0/language-specs/
chown root:root /usr/share/gtksourceview-2.0/language-specs/smal.lang
chmod 644 /usr/share/gtksourceview-2.0/language-specs/smal.lang

